#include <cppunit/config/SourcePrefix.h>
#include "PKB.h"
#include "TestPKB.h"
#include "TestPKBStorage.h"
#include "TestPKBRelationship.h"
#include "TestPKBGetByEntityFunc.h"
#include "TestPKBBitMapForStarRelation.h"
#include "TestPKBCFG.h"
#include "TestPKBIsNextStar.h"
#include <iostream>
#include <string>


void PKBTest::setUp(){
}

void PKBTest::tearDown(){
}

// Registers the fixture into the 'registry'
CPPUNIT_TEST_SUITE_REGISTRATION( PKBTest );
CPPUNIT_TEST_SUITE_REGISTRATION( PKBStorageTest );
CPPUNIT_TEST_SUITE_REGISTRATION( PKBRelationshipTest );
CPPUNIT_TEST_SUITE_REGISTRATION( PKBGetByEntityFuncTest );
CPPUNIT_TEST_SUITE_REGISTRATION( PKBBitMapForStarRelationTest );
CPPUNIT_TEST_SUITE_REGISTRATION( PKBCFGTest );
CPPUNIT_TEST_SUITE_REGISTRATION( PKBIsNextStarTest );

// method to test the constructor
void PKBTest::testConstructor() { 
	// create a AST object
	// check that the object is constructed correctly
	PKB* myPKB = PKB::getInstance();
	CPPUNIT_ASSERT(NULL != myPKB);
}